Ein “affiner” Beweis des Satzes von v. Staudt—Schleiermacher
نویسندگان
چکیده
منابع مشابه
Schrijvers Beweis Von Maders Satz
In der Arbeit von Schrijver [3] wird die folgende Formulierung von Maders Satz aus [2] bewiesen (siehe Satz 1). Wir werden skizzieren wie man aus diesem Satz die Formulierung von Maders Satz über kreuzungsfreie H-Wege (siehe Korollar 2) herleiten kann. Eine Menge P von Wegen in einem Graphen G = (V,E) ist kreuzungsfrei, wenn die Schnittmenge der Eckenmengen zweier unterschiedlicher Wege aus P e...
متن کاملEin in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
In [9] wurden mehrere Beweise ffir die Unbeweisbarkeit von kombinatorischen S/itzen in gewissen formalen Systemen ausgeftihrt. Hierbei handelt es sich u.a. um einen in Erweiterung des Kruskalschen Satzes yon Friedman [5] bewiesenen Satz fiber markierte endliche B/iume, der in einem formalen System//~ CAo mit/-/lKomprehension nicht beweisbar ist. Sowohl der ursprfingliche Beweis yon Friedman als...
متن کاملScone: Ein Framework zur evaluativen Realisierung von Erweiterungen des Webs
Zusammenfassung: Projekte, die sich mit der Entwicklung und Evaluation von Konzepten, Techniken und Werkzeugen zur Verbesserung der Benutzbarkeit des Webs befassen, stehen oft vor dem Problem, dass die Implementation entsprechender Prototypen sehr aufwendig ist. Es stand bisher kein angemessenes Framework zur Verfügung, das solche Entwicklungen vereinfachen könnte. Dieses Paper stellt das Frame...
متن کاملSEMPA - Ein Ansatz des Semantischen Prozessmanagements zur Planung von Prozessmodellen
Currently process modeling is mostly done manually. Therefore, the initial design of process models as well as changes to process models which are frequently necessary to react to new market developments or new regulations are time-consuming tasks. In this paper we introduce SEMPA, an approach for the partly automatic planning of process models. Using ontologies to semantically describe actions...
متن کاملEin Softwarekonzept zur Internet-basierten Simulation des Ressourcenbedarfs von Bauwerken
Buildings require both for construction and due, to their comparatively long life cycle for maintenance, significant raw material and energy resources. So far available knowledge about resource consumption during an entire life cycle of a building is still quite rare, because various criteria affect each other and/or overlay mutually. In this thesis work a software concept is presented using an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Monatshefte für Mathematik
سال: 1978
ISSN: 0026-9255,1436-5081
DOI: 10.1007/bf01659717